16 found
Order:
  1. Mathematics: Form and Function.Saunders Mac Lane - 1990 - Studia Logica 49 (3):424-426.
     
    Export citation  
     
    Bookmark   28 citations  
  2.  99
    Despite pyhsicists, proof is essential in mathematics.Saunders Mac Lane - 1997 - Synthese 111 (2):147-154.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  34
    A logical analysis of mathematical structure.Saunders Mac Lane - 1935 - The Monist 45 (1):118 - 130.
  4.  9
    Cooley John C.. Outline of symbolic logic. Harvard Cooperative Society, Cambridge, Mass., 1938.Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):126-126.
  5.  17
    Symbolic Logic.Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):125-126.
  6.  6
    Tarski Alfred. Der Aussagenkalkül und die Topolagie. Fundamenta mathematicae, vol. 31 , pp. 103–134.Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):26-27.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  13
    Bornstein Benedykt. Geometrical logic. The structures of thought and space. Bibliotheca Universitatis Liberae Polonae, ser. B, no. 8 . Wolna Wszechnica Polska, Warsaw 1939, 114 pp. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):133-134.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  19
    Birkhoff Garrett. Lattices and their applications. Bulletin of the American Mathematical Society, vol. 44 , pp. 793–800. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):34-35.
  9.  12
    MacNeille H. M.. Extension of a distributive lattice to a Boolean ring. Bulletin of the American Mathematical Society, vol. 45 , pp. 452–455. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):134-134.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  14
    Pankajam S.. On symmetric functions of m symmetric functions in a Boolean algebra. Proceedings of the Indian Academy of Sciences, section A, vol. 9 , pp. 95–102. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):124-124.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  10
    Review: Alfred Tarski, Der Aussagenkalkul und die Topologie. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):26-27.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  13
    Review: Benedykt Bornstein, Geometrical Logic. The Structures of Thought and Space. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):133-134.
  13.  16
    Review: Garrett Birkhoff, Lattices and their Applications. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):34-35.
  14.  14
    Review: H. M. MacNeille, Extension of a Distributive Lattice to a Boolean Ring. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):134-134.
  15.  6
    Review: John C. Cooley, Outline of Symbolic Logic. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):126-126.
  16.  9
    Review: M. H. Stone, The Representation of Boolean Algebras. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):35-35.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark